import { IPSAppCounterRef } from '../../app/control/ipsapp-counter-ref';
import { IPSAjaxControl } from '../ipsajax-control';

/**
 *
 * 子接口类型识别属性[]
 * @export
 * @interface IPSDRCtrl
 */
export interface IPSDRCtrl extends IPSAjaxControl {
  /**
   * 应用计数器引用
   *
   * @type {IPSAppCounterRef}
   */
  getPSAppCounterRef(): IPSAppCounterRef | null;

  /**
   * 应用计数器引用
   *
   * @type {IPSAppCounterRef}
   */
  get psAppCounterRef(): IPSAppCounterRef | null;

  /**
   * 应用计数器引用（必须存在）
   *
   * @type {IPSAppCounterRef}
   */
  getPSAppCounterRefMust(): IPSAppCounterRef;
}
